The mammalian red nucleus